1. Foundations of logic and mathematics: applications to computer science and cryptography

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics

رده :
QA
9
.
N53
2002

2. Foundations of logic and mathematics : applications to computer science and cryptography

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics

رده :
QA
9
.
N53
2002